Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
951	Biology Criteria & Constraints Item Template Biology Criteria & Constraints Item Template Add to Reading List Source URL: www.k12.wa.us Language: English - Date: 2013-11-05 19:50:51 Artificial intelligence Computing Constraint satisfaction Constraint optimization Constraint programming Mathematical optimization Constraint
952	SICStus Prolog User’s Manual Mats Carlsson et al. Swedish Institute of Computer Science PO Box 1263 SE[removed]Kista, Sweden Release[removed] Add to Reading List Source URL: sicstus.sics.se Language: English - Date: 2011-05-10 07:45:09 Constraint programming Prolog Linda Emacs Logic programming Exception handling Debugging Breakpoint Backtracking Computing Software Programming paradigms
953	SICStus Prolog Frequently Asked Questions by the Intelligent Systems Laboratory Swedish Institute of Computer Science PO Box 1263 SE[removed]Kista, Sweden Release[removed] Add to Reading List Source URL: sicstus.sics.se Language: English - Date: 2011-05-10 07:46:16 Prolog Swedish Institute of Computer Science Tcl Tk Windows Installer Expect Constraint programming Computing Software Scripting languages
954	Common Curriculum Framework Grades[removed]Mathematics Add to Reading List Source URL: www.bced.gov.bc.ca Language: English - Date: 2013-11-27 16:49:36 Educational psychology Problem solving Automated theorem proving Constraint programming Deduction Reasoning system Mathematics Visualization Statistics Science Information Artificial intelligence
955	From Computing with Numbers to Computing with Words − From Manipulation of Measurements to Manipulation of Perceptions* Lotfi A. Zadeh Professor in the Graduate School and Director, Berkeley Initiative in Soft Computin Add to Reading List Source URL: www-bisc.cs.berkeley.edu Language: English - Date: 2001-07-12 20:06:36 Science Artificial intelligence Logic in computer science Non-classical logic Computing with words and perceptions Lotfi A. Zadeh Fuzzy set Constraint programming Fuzzy rule Logic Fuzzy logic Mathematical logic
956	COIN-OR 2010 Annual Report COIN-OR Foundation November, [removed]Introduction This year marks the 10th anniversary of the COIN-OR project. COIN-OR (COmputational INfrastructure for Operations Research) was first announced Add to Reading List Source URL: www.coin-or.org Language: English - Date: 2011-09-11 11:34:56 Applied mathematics Numerical software Computer algebra systems Constraint programming COIN-OR Linear programming LEMON Global optimization AIMMS Operations research Mathematical optimization Numerical analysis
957	A Proximal-Gradient Homotopy Method for the `1 -Regularized Least-Squares Problem Lin Xiao Microsoft Research, 1 Microsoft Way, Redmond, WA[removed]USA Tong Zhang Add to Reading List Source URL: icml.cc Language: English - Date: 2012-06-07 13:20:12 Operations research Iterative methods Convex optimization Least squares Linear programming Constraint algorithm Levenberg–Marquardt algorithm Numerical analysis Mathematical optimization Applied mathematics
958	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-31 13:13:20 Artificial intelligence Constraint satisfaction Structure Mathematical optimization Local consistency Decomposition method Constraint programming Software engineering Computer programming
959	HAMPI: A Solver for Word Equations over Strings, Regular Expressions, and Context-Free Grammars ADAM KIEZUN, Brigham and Women’s Hospital / Harvard Medical School VIJAY GANESH, Massachusetts Institute of Technology SHA Add to Reading List Source URL: www.pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Theoretical computer science SQL injection SQL Hampi Context-free grammar String Constraint programming Boolean satisfiability problem Formal grammar Formal languages Computing Software engineering
960	15 Kuhn -Tucker conditions There is a systematic approach to inequality-constrained maximisation—a.k.a. concave programming or nonlinear programming. Add to Reading List Source URL: www.economics.soton.ac.uk Language: English - Date: 2003-10-12 05:45:14 Lagrange multiplier Convex optimization Karush–Kuhn–Tucker conditions Constraint Nonlinear programming Optimal control Linear programming PROPT Linear complementarity problem Mathematical optimization Mathematical analysis Mathematics

UPDATE